Видео с ютуба Certified Proofs And Programs

Programming Proofs and Proving Programs

[CPP'25] Machine Checked Proofs and Programs in Algebraic Combinatorics

Lecture 1: Predicates, Sets, and Proofs

Джонатан Блоу о формальном доказательстве программного обеспечения

Programs and Proofs (CS103 2024/25 Semester 2 Lecture 1)

MEDINA Training: Credentials and Proofs of certificates

Prasad Jayanti "Technique for Machine-Verified Proofs of Linearizability" Part 1

Toward Gamification of Proofs about Programs | Sorin Lerner | Design@Large

Provably v2 Demo: From Data Onboarding to Verified SQL Proofs

COMP526 (Fall 2022) 0-5 §0.4 Correctness proofs for programs

Искусство линейного программирования

Proof-driven Development of Production-quality Cryptographic Software: Andres Erbsen (MIT)

Tough Questions From A Certified Math Lover

Writing Verified Software for Production - Rustan Leino - OPLSS 2019

Programming with Proofs for High-assurance Software

[CPP'24] Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs

8. NP-Hard and NP-Complete Problems

Happy π Day from Leonardo de Moura: Formal Proofs, Lean, and the Future of Math

Prasad Jayanti "Technique for Machine-Verified Proofs of Linearizability" Part 2

Project Origin - Digital Proofs for Granular Certificates